Getting Started - Getting Better

Qualitative research: getting started.

As scientifically trained clinicians, pharmacists may be more familiar and comfortable with the concept of quantitative rather than qualitative research. Quantitative research can be defined as “the means for testing objective theories by examining the relationship among variables which in turn can be measured so that numbered data can be analyzed using statistical procedures”.1 Pharmacists may...

CS1: Getting Started

The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundamental procedural programming principles. In this paper we present our experiences with resurrecting the Logo turtle in a new object-oriented way and using it in an introductory object-oriented programming course. While, a...

Getting started with SMV

MODEL IMPLEMENTION COMPONENT REFINEMENT MAPS Figure 1: Re nement maps interfaces and structures in the low-level design. This makes it possible to verify small parts of the low-level design in the context of the abstract model. Thus, the proof obligations can be reduced to a small enough scale to be veri ed by model checking. SMV supports this methodology by allowing one to specify many abstrac...

Getting Started with Sequencel

Grateful Med: getting started.

When a local medical library is not available, it is often necessary for physicians to discover alternate ways to receive medical information. Rural physicians, particularly, can make use of a computer program called Grateful Med that provides access to the same literature available to physicians in large cities. This program permits the user to perform database searches on the National Library...